1. Interactive Theorem Proving
پدیدآورنده : / Matt Kaufmann, Lawrence C. Paulson
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2. Philosophy on Tap
پدیدآورنده : / Matt Lawrence
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Philosophy - Miscellanea,Bars (Drinking establishments) - Miscellanea,فلسفه - مسائل متفرقه,مشروب فروشی ها - مسائل متفرقه
رده :
B68
.
L38P5
2011
3. The complete guide to core stability
پدیدآورنده : Matt Lawrence
کتابخانه: Campus International Library of Kish University of Tehran (Hormozgan)
موضوع : Abdominal exercises
4. The complete guide to core stability
پدیدآورنده : Lawrence, Matt
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Abdominal exercises
رده :
GV
508
.
L38
2007
